Extended Abstracts Fall 2013 - Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
- Författare
- (Edited by Maria del Mar González, Paul C. Yang, Nicola Gambino, Joachim Kock.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Birkhäuser | 2015 | Tyskland, Cham | VI, 110 sidor. online resource. | 978-3-319-21284-5 |